F i l e :   K E H O M E / d o c / O n t o l o g y   V i e w   D e f i n i t i o n   N o t h i n g   S p a c e   T i m e . t x t 
 
 S u b j e c t :   O n t o l o g y   V i e w   D e f i n i t i o n   N o t h i n g   S p a c e   T i m e 
 
 F r o m :   " R i c h a r d   H .   M c C u l l o u g h "   < r h m @ c d e p o t . n e t > 
 
 D a t e :   M a y   1 1 ,   2 0 0 3 
 
 
 
 T h i s   d o c u m e n t   c o n s i s t s   o f   s o m e   n o t e s   o n   t h e   a b o v e   t o p i c s . 
 
 I   u s e   a n   e x t e n d e d   n - t u p l e   n o t a t i o n   w h e r e   n   i s   4   o r   7 . 
 
 M y   e x t e n s i o n s   a r e : 
 
 a d d   1   o p t i o n a l   " m o d i f i e r "   e l e m e n t   f o r   a   S t a t e m e n t ; 
 
 a d d   3   s p a c e . t i m e , v i e w   " c o n t e x t "   e l e m e n t s   f o r   a   P r o p o s i t i o n ; 
 
 p e r m i t   e a c h   e l e m e n t   o f   a   t u p l e   t o   b e   a   l i s t ; 
 
 p e r m i t   n a m e s   w h i c h   a r e   n o t   a b s o l u t e   U R I s . 
 
 
 
 C o n t e n t s : 
 
 1 .   V i e w   a n d   E P S   L A T T I C E 
 
 2 .   C o n t e x t   a n d   E C P   L A T T I C E 
 
 3 .   G e n u s D i f f e r e n t i a   D e f i n i t i o n s 
 
 4 .   N o t h i n g 
 
 5 .   S p a c e   T i m e 
 
 6 .   I m p l i c a t i o n s   f o r   O W L 
 
 7 .   E x a m p l e s 
 
 
 
 1 .   V i e w   a n d   E P S   L A T T I C E 
 
 A   V i e w   i s   a   s e t   o f   p r o p o s i t i o n s .     A   V i e w   c a n   b e   c o n s t r u c t e d   f o r 
 
 a n y   O n t o l o g y ,   a n d   c a n   b e   s i m p l i f i e d   b y   u s i n g   s u b C l a s s O f   a n d 
 
 s u b P r o p e r t y O f   i n f e r e n c e s   a n d   D e f i n i t i o n s . 
 
 ( S e e   K E H O M E / d o c / s i m p l i f y l a t t i c e . h t m l   a n d   K E H O M E / x m l / * . k u . ) 
 
 I t   i s   u s e f u l   t o   d i s p l a y   a   V i e w   a s   a n   E n t i t y - P r o p e r t y - S t a t e m e n t   ( E P S ) 
 
 L A T T I C E .     S t a t e m e n t s   a r e   r e p r e s e n t e d   b y   4 - t u p l e s . 
 
 
 
         < s u b j e c t >   < p r e d i c a t e >   < o b j e c t >   < m o d i f i e r >   ; 
 
 
 
 2 .   C o n t e x t   a n d   E C P   L A T T I C E 
 
 T o   c o m b i n e   t w o   o r   m o r e   v i e w s ,   w e   n e e d   a   C o n t e x t   m e c h a n i s m   t o 
 
 d i s t i n g u i s h   t h e   V i e w s .     W e   d o   t h i s   b y   e x t e n d i n g   t h e   S t a t e m e n t   c o n c e p t 
 
 t o   a   P r o p o s i t i o n .     P r o p o s i t i o n s   a r e   r e p r e s e n t e d   b y   7 - t u p l e s . 
 
 
 
         < s p a c e >   < t i m e >   < v i e w > 
 
         	 < s u b j e c t >   < p r e d i c a t e >   < o b j e c t >   < m o d i f i e r >   ; 
 
 
 
 F o r   a   p r o p o s i t i o n : 
 
 s p a c e ,   t i m e ,   v i e w   a r e   t h e   c o n t e x t   o f   t h e   s e n t e n c e ; 
 
 s u b j e c t ,   p r e d i c a t e ,   o b j e c t ,   m o d i f i e r   a r e   t h e   s e n t e n c e , 
 
 w h i c h   m a y   b e   a   s t a t e m e n t ,   q u e s t i o n ,   c o m m a n d   o r   a s s i g n m e n t . 
 
 
 
 3 .   G e n u s - D i f f e r e n t i a   D e f i n i t i o n 
 
 A   G e n u s - D i f f e r n t i a   D e f i n i t i o n   i s   a   S t a t e m e n t   w h i c h   i d e n t i f i e s 
 
 t h e   n a t u r e   o f   t h e   I n d i v i d u a l s   ( u n i t s )   w h i c h   a r e   s u b s u m e d   b y 
 
 a   C l a s s   ( c o n c e p t ) .     A l t h o u g h   a   D e f i n i t i o n   c a n   b e   c o m p o s e d 
 
 f r o m   3 - t u p l e s ,   i t   i s   a d v a n t a g e o o u s   t o   u s e   a   s i n g l e   4 - t u p l e . 
 
 
 
         < s u b j e c t >   < p r e d i c a t e >   < o b j e c t >   < m o d i f i e r >   ; 
 
 
 
 F o r   a   g e n u s - d i f f e r e n t i a   d e f i n i t i o n : 
 
 t h e   s u b j e c t   i s   t h e   I n d i v i d u a l   o r   C l a s s   o r   P r o p e r t y   b e i n g   d e f i n e d ; 
 
 t h e   p r e d i c a t e   i s   m k r : i s D e f i n e d A s ; 
 
 t h e   o b j e c t   i s   t h e   g e n u s   C l a s s   o f   t h e   s u b j e c t ; 
 
 t h e   m o d i f i e r   i s   t h e   d i f f e r e n t i a   - -   t h e   P r o p e r t y   r e s t r i c t i o n s   w h i c h 
 
 a r e   t h e   e s s e n t i a l   c h a r a c t e r i s t i c s   o f   t h e   s u b j e c t . 
 
 
 
 T h e   s u b j e c t   a n d   o b j e c t   a r e   a d j a c e n t   e l e m e n t s   i n   t h e   V i e w   L A T T I C E . 
 
 
 
 T h e   4 - t u p l e   i s   a l s o   a n   e x c e l l e n t   r e p r e s e n t a t i o n   f o r   a c t i o n   p r e d i c a t e s . 
 
 F o r   a n   a c t i o n   p r e d i c a t e : 
 
 t h e   s u b j e c t   i s   t h e   e n t i t y   w h i c h   p e r f o r m s   t h e   a c t i o n ; 
 
 t h e   p r e d i c a t e   i s   t h e   a c t i o n ; 
 
 t h e   o b j e c t   i s   t h e   a c t i o n   e v e n t   ( i n s t a n c e ) ; 
 
 t h e   m o d i f i e r   i s   a   l i s t   o f   " a d v e r b   p h r a s e s " . 
 
 
 
 4 .   N o t h i n g 
 
 N o t h i n g   i s   t h e   c l a s s   o f   t h i n g s   t h a t   d o   n o t   e x i s t . 
 
 N o t h i n g   h a s   n o   e x t e n s i o n . 
 
 N o t h i n g   i s   n o t   p a r t   o f   t h e   V i e w   L A T T I C E . 
 
 
 
 5 .   S p a c e   T i m e 
 
 T h e   V i e w   L A T T I C E   i s ,   i n   g e n e r a l ,   s p a c e - t i m e   d e p e n d e n t .     T h e   s p a c e , 
 
 t i m e   a t t r i b u t e s   m e a s u r e   c h a n g e s ,   i . e . ,   a c t i o n   p r e d i c a t e s .     I n c l u d i n g 
 
 s p a c e , t i m e   i n   t h e   c o n t e x t   o f   a   p r o p o s i t i o n   f a c i l i t a t e s   t h e   i s o l a t i o n 
 
 o f   s p a c e - t i m e   d e p e n d e n c i e s . 
 
 
 
 6 .   I m p l i c a t i o n s   f o r   O W L 
 
 T o   r e p r e s e n t   t h e   c o n c e p t s   d e s c r i b e d   i n   t h e s e   n o t e s ,   O W L   n e e d s   t h e s e 
 
 n e w   P r o p e r t i e s 
 
 
 
 	 s p a c e 
 
 	 t i m e 
 
 	 v i e w 
 
 	 i n d i v i d u a l O f 
 
 	 p r o p e r S u b C l a s s O f 
 
 	 p r o p e r S u b P r o p e r t y O f 
 
 	 i s D e f i n e d A s 
 
 
 
 a n d   t h e s e   n e w   C l a s s e s 
 
 
 
 	 S e t 
 
 	 L A T T I C E 
 
 	 L a t t i c e 
 
 	 H i e r a r c h y 
 
 	 V i e w 
 
 	 C o n t e x t 
 
 	 P r o p o s i t i o n 
 
 
 
 7 .   E x a m p l e s 
 
 G e n u s D i f f e r e n t i a   D e f i n i t i o n s . 
 
 
 
 	 < m a n >   < i s D e f i n e d A s >   < a n i m a l >   < r a t i o n a l >   ; 
 
 	 < w o m a n >   < i s D e f i n e d A s >   < p e r s o n >   < s e x   =   f e m a l e >   ; 
 
 	 < l a t t i c e >   < i s D e f i n e d A s >   < L A T T I C E >   < a m b i g u o u s   g e n u s >   ; 
 
 	 < h i e r a r c h y >   < i s D e f i n e d A s >   < L A T T I C E >   < u n i q u e   g e n u s >   ; 
 
 
 
 A n   E P S   L A T T I C E 
 
 
 
 	 T h i n g 
 
 	         E n t i t y 
 
 	                 P e r s o n 
 
 	 	         J o h n   D o e 
 
 	 	         M a r y   D o e 
 
 	         P r o p e r t y 
 
 	                 s e x 
 
 	 	         m a l e 
 
 	 	         f e m a l e 
 
 	         S t a t e m e n t 
 
 	                 < J o h n   D o e >   < s e x >   < m a l e >   ; 
 
 	 	 < M a r y   D o e >   < s e x >   < f e m a l e >   ; 
 
 
 
 A n   E C P   L A T T I C E 
 
 
 
 	 T h i n g 
 
 	         E n t i t y 
 
 	                 P e r s o n 
 
 	 	         J o h n   D o e 
 
 	 	         M a r y   D o e 
 
 	 	         D i c k   M c C u l l o u g h 
 
 	         C h a r a c t e r i s t i c 
 
 	                 a c t i o n 
 
 	 	         w o r k 
 
 	 	                 w o r k _ 0 0 1 
 
 	 	         m a k e 
 
 	 	                 m a k e _ 0 0 2 
 
 	 	         w r i t e 
 
 	 	                 w r i t e _ 0 0 3 
 
 	 	 a t t r i b u t e 
 
 	 	         s p a c e 
 
 	 	                 L o n d o n 
 
 	 	 	 L o n d o n   h o m e 
 
 	 	 	 P i o n e e r   h o m e 
 
 	 	         t i m e 
 
 	 	                 w e e k   d a y 
 
 	     	 	 6   p m 
 
 	 	 	 2 0 0 3 - 0 5 - 0 6   5 : 0 0   p m 
 
 	 	         v i e w 
 
 	 	                 w e e k   d a y   r o u t i n e 
 
 	 	 	 e v e r y   d a y   r o u t i n e 
 
 	 	 	 S e m a n t i c   W e b   a c t i v i t y 
 
 	                         s e x 
 
 	 	                 m a l e 
 
 	 	                 f e m a l e 
 
 	         P r o p o s i t i o n 
 
 	                 < L o n d o n >   < w e e k   d a y >   < w e e k   d a y   r o u t i n e > 
 
 	 	 	 < J o h n   D o e >   < w o r k >   < w o r k _ 0 0 1 >   < f r o m   9   a m   t o   5   p m >   ; 
 
 	 	 < L o n d o n   h o m e >   < 6   p m >   < e v e r y   d a y   r o u t i n e > 
 
 	 	 	 < M a r y   D o e >   < m a k e >   < m a k e _ 0 0 2 >   < d i n n e r >   ; 
 
 	 	 < P i o n e e r   h o m e >   < 2 0 0 3 - 0 5 - 0 6   5 : 0 0   p m >   < S e m a n t i c   W e b   a c t i v i t y > 
 
 	 	 	 < D i c k   M c C u l l o u g h >   < w r i t e >   < w r i t e _ 0 0 3 >   < t h i s   e m a i l >   ; 
 
 
 
 = = = = = = = = = = = =   
 
 D i c k   M c C u l l o u g h   
 
 k n o w l e d g e   : =   m a n   d o   i d e n t i f y   o d   e x i s t e n t   d o n e ; 
 
 k n o w l e d g e   h a s p a r t   p r o p o s i t i o n   l i s t ; 
 
 
 
   
 
 